experimental evaluation of numerical domains for inferring ranges

Abstract Among the numerical abstract domains for detecting linear relationships between program variables, the polyhedra domain is, from a purely theoretical point of view, the most precise one. Other domains, such as intervals, octagons and parallelotopes, are less expressive but generally more efficient. We focus our attention on interval constraints and, using a suite of benchmarks, we experimentally show that, in practice, polyhedra may often compute results less precise than the other domains, due to the use of the widening operator

TiO2nanotubes in lithium-ion batteries

In this contribution we report on electrochemical approaches in TiO2 based electrodes synthesis. TiO2 nanotubes (NTs) were synthesized following a facile anodization of titanium sheets. Optimizing the experimental conditions two electrodes with NTs lengths of ∼10 μm (Long) and ∼2 μm (Short), were obtained. At the end of the anodization the amorphous TiO2 (a-TiO2) was thermally treated to promote the conversion in the anatase crystal phase (c-TiO2). Both the Long and Short NTs electrodes were tested for their applications as anodes in lithium-ion batteries (LIBs). A preliminary comparison was performed to evaluate the role of a-TiO2 and c-TiO2 phases. Here, Short a-TiO2 NTs exhibited a fast storage rate respect to Short c-TiO2. Comparing the NTs length, Long a-TiO2 electrodes exhibited the highest specific capacity, close to the theoretical value. Furthermore, all the electrodes tested showed an excellent capacity retention proceeding with Discharge/Charge cycles

Seismoacoustic signatures of fracture connectivity

Wave-induced fluid flow (WIFF) between fractures and the embedding matrix as well as within connected fractures tends to produce significant seismic attenuation and velocity dispersion. While WIFF between fractures and matrix is well understood, the corresponding effects related to fracture connectivity and the characteristics of the energy dissipation due to flow within fractures are largely unexplored. In this work, we use oscillatory relaxation simulations based on the quasi-static poroelastic equations to study these phenomena. We first consider synthetic rock samples containing connected and unconnected fractures and compute the corresponding attenuation and phase velocity. We also determine the relative fluid displacement and pressure fields in order to gain insight into the physical processes involved in the two manifestations of WIFF in fractured media. To quantify the contributions of the two WIFF mechanisms to the total seismic attenuation, we compute the spatial distribution of the local energy dissipation. Finally, we perform an exhaustive sensitivity analysis to study the role played by different characteristics of fracture networks on the seismic signatures. We show that in the presence of connected fractures both P wave attenuation and phase velocity are sensitive to some key characteristics of the probed medium, notably to the lengths, permeabilities, and intersection angles of the fractures as well as to the overall degree of connectivity of the fracture network. This, in turn, indicates that a deeper understanding of these two manifestations of WIFF in fractured media may eventually allow for the extraction of some of these properties from seismic data.Facultad de Ciencias Astronómicas y Geofísica

Fluid pressure diffusion effects on the seismic reflectivity of a single fracture

When seismic waves travel through a fluid-saturated porous medium containing a fracture, fluid pressure gradients are induced between the compliant fracture and the stiffer embedding background. The resulting equilibration through fluid pressure diffusion (FPD) produces a frequency dependence of the stiffening effect of the fluid saturating the fracture. As the reflectivity of a fracture is mainly controlled by the stiffness contrast with respect to the background, these frequency-dependent effects are expected to affect the fracture reflectivity. The present work explores the P- and S-wave reflectivity of a fracture modeled as a thin porous layer separating two half-spaces. Assuming planar wave propagation and P-wave incidence, this article analyzes the FPD effects on the reflection coefficients through comparisons with a low-frequency approximation of the underlying poroelastic model and an elastic model based on Gassmann's equations. The results indicate that, while the impact of global flow on fracture reflectivity is rather small, FPD effects can be significant, especially for P-waves and low incidence angles. These effects get particularly strong for very thin and compliant, liquid-saturated fractures and embedded in a high-permeability background. In particular, this study suggests that in common environments and typical seismic experiments FPD effects can significantly increase the seismic visibility of fractures.Fil: Barbosa, Nicolás D.. Universite de Lausanne; SuizaFil: Rubino, Jorge German. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Norte; Argentina. University of Western Ontario; CanadáFil: Caspari, Eva. Universite de Lausanne; SuizaFil: Milani, Marco. Universite de Lausanne; SuizaFil: Holliger, Klaus. Universite de Lausanne; Suiz

Improvement of sheep welfare and milk production fed on diet containing hydroponically germinating seeds.

Plasma cortisol and milk production responses of 45 lactating Comisana sheeps (4th- 5th parity), divided into three homogeneous groups of 15 subject each, were used to evaluate the effects of two different levels of partial substitution of a complete feed with hydroponically germinating seeds. Germinated oat was employed after 7 days of hydroponic growth. The three groups received the following diets: Control group (T) received only complete feed. The other 2 groups were fed on diet containing different levels of hydroponically germinating oat (1,5 kg – group A; 3 kg – group B). All the subjects have shown to accept the diets because the per capita ration was always completely consumed. In the second month, the A and B groups showed lower average values of cortisol (P<0.01) and a statistically significant increase in milk production as compared to T (P<0.05 and P<0.001). The obtained data induced to conclude that integration with hydroponically germinating oat in partial substitution of the complete feed does not modify biochemical and hematological parameters and seems to produce an improvement in animal welfare and production of milk

Seismoacoustic signatures of fracture connectivity

Wave-induced fluid flow (WIFF) between fractures and the embedding matrix as well as within connected fractures tends to produce significant seismic attenuation and velocity dispersion. While WIFF between fractures and matrix is well understood, the corresponding effects related to fracture connectivity and the characteristics of the energy dissipation due to flow within fractures are largely unexplored. In this work, we use oscillatory relaxation simulations based on the quasi-static poroelastic equations to study these phenomena. We first consider synthetic rock samples containing connected and unconnected fractures and compute the corresponding attenuation and phase velocity. We also determine the relative fluid displacement and pressure fields in order to gain insight into the physical processes involved in the two manifestations of WIFF in fractured media. To quantify the contributions of the two WIFF mechanisms to the total seismic attenuation, we compute the spatial distribution of the local energy dissipation. Finally, we perform an exhaustive sensitivity analysis to study the role played by different characteristics of fracture networks on the seismic signatures. We show that in the presence of connected fractures both P wave attenuation and phase velocity are sensitive to some key characteristics of the probed medium, notably to the lengths, permeabilities, and intersection angles of the fractures as well as to the overall degree of connectivity of the fracture network. This, in turn, indicates that a deeper understanding of these two manifestations of WIFF in fractured media may eventually allow for the extraction of some of these properties from seismic data.Facultad de Ciencias Astronómicas y Geofísica

Counterpropagating frequency mixing with terahertz waves in diamond

Frequency conversion by means of Kerr-nonlinearity is one of the most common and exploited nonlinear optical processes in the UV, visible, IR and Mid-IR spectral regions. Here we show that wave mixing of an optical field and a Terahertz wave can be achieved in diamond, resulting in the frequency conversion of the THz radiation either by sum- or difference-frequency generation. In the latter case, we show that this process is phase-matched and most efficient in a counter-propagating geometry

Seismic Signatures of Fractured Porous Rocks: The Partially Saturated Case

Seismic attenuation and phase velocity dispersion due to mesoscopic fluid pressure diffusion (FPD) have received increasing attention due to their inherent sensitivity to the hydromechanical properties of monosaturated fractured porous media. While FPD processes are directly affected by key macroscopic properties of fractured rocks, such as fracture density and fracture connectivity, there is, as of yet, a lack of comprehension of the associated characteristics when multiple immiscible phases saturate the probed fractured medium. In this work, we analyze the variations experienced by P and S wave attenuation and phase velocity dispersion when CO2 percolates into an initially brine-saturated fractured porous rock. We study such variations considering a simple model of a porous rock containing intersecting orthogonal fractures as well as a more complex model comprising a fracture network. In the latter, we simulate the flow of a CO2 plume into the medium using an invasion percolation procedure. Representative samples are subjected to numerical upscaling experiments, consisting of compression and shear tests, prior to and after the CO2 invasion process. Results show that fracture-to-background FPD is only sensitive to the presence of CO2, which decreases its effects. However, fracture-to-fracture FPD depends on both the overall CO2 saturation and the fluid distribution within the fracture network. While the former modulates the magnitude of the dissipation, the latter can give rise to a novel FPD process occurring between CO2-saturated and brine-saturated regions of the fracture network.Fil: Solazzi, Santiago Gabriel. Universite de Lausanne; Suiza. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Hunziker, Jürg. Universite de Lausanne; SuizaFil: Caspari, Eva. Universite de Lausanne; Suiza. Montanuniversität Leoben; AustriaFil: Rubino, Jorge German. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Norte; Argentina. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; ArgentinaFil: Favino, Marco. Universite de Lausanne; SuizaFil: Holliger, Klaus. Universite de Lausanne; Suiza. Zhejiang University; República de Chin

An energy-based approach to estimate seismic attenuation due to wave-induced fluid flow in heterogeneous poroelastic media

Wave-induced fluid flow (WIFF) due to the presence of mesoscopic heterogeneities is considered as one of the main seismic attenuation mechanisms in the shallower parts of the Earth’s crust. For this reason, several models have been developed to quantify seismic attenuation in the presence of heterogeneities of varying complexity, ranging from periodically layered media to rocks containing fractures and highly irregular distributions of fluid patches. Most of these models are based on Biot’s theory of poroelasticity and make use of the assumption that the upscaled counterpart of a heterogeneous poroelastic medium can be represented by a homogeneous viscoelastic solid. Under this dynamic-equivalent viscoelastic medium (DEVM) assumption, attenuation is quantified in terms of the ratio of the imaginary and real parts of a frequency-dependent, complex-valued viscoelastic modulus. Laboratory measurements on fluid-saturated rock samples also rely on this DEVM assumption when inferring attenuation from the phase shift between the applied stress and the resulting strain. However, whether it is correct to use an effective viscoelastic medium to represent the attenuation arising from WIFF at mesoscopic scales in heterogeneous poroelastic media remains largely unexplored. In this work, we present an alternative approach to estimate seismic attenuation due to WIFF. It is fully rooted in the framework of poroelasticity and is based on the quantification of the dissipated power and stored strain energy resulting from numerical oscillatory relaxation tests.We employ this methodology to compare different definitions of the inverse quality factor for a set of pertinent scenarios, including patchy saturation and fractured rocks. This numerical analysis allows us to verify the correctness of the DEVM assumption in the presence of different kinds of heterogeneities. The proposed methodology has the key advantage of providing the local contributions of energy dissipation to the overall seismic attenuation, information that is not available when attenuation is retrieved from methods based on the DEVM assumption. Using the local attenuation contributions we provide further insights into the WIFF mechanism for randomly distributed fluid patches and explore the accumulation of energy dissipation in the vicinity of fractures.Facultad de Ciencias Astronómicas y Geofísica